大家在查： Hamani Diori Hamat Bah hambly Hamilton Island Hamilton Smith haloxyfop-R-methyl halophilic microorganism halolangbe inite halokainite halogenosulfonic acid

halting problem

美英

un.停机问题
网络停止问题；判断程式是否会停的问题；一个问题

halting problem

halting problem

英-汉网络释义

halting problem

un.

1.停机问题

2

It turns out that proving programs correct is equivalent to solving the Halting Problem .

证明程序是正确的等价于解决停机问题。

3

The first area is represented by the "Halting Problem " in computer science.

第一个领域的代表是计算机科学中的 “停机问题 ”。

4

Alan Turing proved in 1936 that a general algorithm to solve the Halting Problem for all possible inputs cannot exist .

AlanTuring 在 1936年证明了对所有可能输入解决停机问题的通用算法是不存在的。

5

We say that the Halting Problem is

我们说停机问题在图灵机上是

热词推荐

大家在看